Computer Laboratory

Results: 4525



#Item
61

PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science PROGRAM SLICING! PROGRAM ANALYSIS

Add to Reading List

Source URL: homepages.dcc.ufmg.br

Language: English - Date: 2017-05-22 12:59:15
    62

    Motivational principles for visual know-how development Frederic Kaplan and Pierre-Yves Oudeyer Sony Computer Science Laboratory, 6 rue Amyot, Paris, France ,

    Add to Reading List

    Source URL: www.pyoudeyer.com

    Language: English - Date: 2014-04-23 17:28:35
      63

      Universidade
Federal
de
Minas
Gerais
–
Department
of
Computer
Science
–
Programming
Languages
Laboratory
 INTERPROCEDURAL
OPTIMIZATIONS
 DCC
888


      Add to Reading List

      Source URL: homepages.dcc.ufmg.br

      Language: English - Date: 2014-10-21 02:26:51
        64

        Constraint Solving for Bounded-Process Cryptographic Protocol Analysis Jonathan Millen and Vitaly Shmatikov Computer Science Laboratory, SRI International, Menlo Park, CAUSA fmillen,

        Add to Reading List

        Source URL: jonmillen.com

        Language: English - Date: 2017-01-20 09:49:12
          65

          An Introduction to Neural Networks Vincent Cheung Kevin Cannons Signal & Data Compression Laboratory Electrical & Computer Engineering University of Manitoba

          Add to Reading List

          Source URL: www2.econ.iastate.edu

          Language: English - Date: 2009-04-08 17:23:05
            66

            Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh,

            Add to Reading List

            Source URL: homepages.inf.ed.ac.uk

            Language: English - Date: 2010-05-13 03:56:16
              67

              Information Geometry and Minimum Description Length Networks Ke Sun SUNK . EDU @ GMAIL . COM Viper Group, Computer Vision and Multimedia Laboratory, University of Geneva, Switzerland Jun Wang

              Add to Reading List

              Source URL: proceedings.mlr.press

              Language: English - Date: 2017-05-06 17:27:04
                68

                Programming Simultaneous Actions Using Common Knowledge: Preliminary Version Yoram Moses and Mark R. Tuttle MIT Laboratory for Computer Science Cambridge, MassachusettsAbstract:

                Add to Reading List

                Source URL: www.markrtuttle.com

                Language: English - Date: 2007-04-26 00:00:00
                  69

                  A 2-Round Anonymous Veto Protocol Feng Hao and Piotr Zieli´ nski Computer Laboratory, University of Cambridge, UK {feng.hao,piotr.zielinski}@cl.cam.ac.uk

                  Add to Reading List

                  Source URL: homepages.cs.ncl.ac.uk

                  Language: English - Date: 2010-04-10 14:54:54
                    70

                    Rigorous Graphical Modelling of Movement in Collective Adaptive Systems N. Zo´ n(B) , S. Gilmore, and J. Hillston Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh

                    Add to Reading List

                    Source URL: blog.inf.ed.ac.uk

                    Language: English - Date: 2017-02-23 05:37:24
                      UPDATE